$\forall$$n$:$\mathbb{N}$, $T$:Type, $P$:($T$$\rightarrow$Prop), $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Prop).
\\[0ex]when $P$, $R_{1}$ =$>$ $R_{2}$ $\Rightarrow$ $R_{1}$ preserves $P$ $\Rightarrow$ when $P$, $R_{1}$\^{}$n$ =$>$ $R_{2}$\^{}$n$